The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Martin Leucker Books

Results for Martin Leucker

Showing 1 to 7 of 7 results
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings: 5684 (Lecture ... Computer Science and General Issues) Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings: 5684 (Lecture ... Computer Science and General Issues) by

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings: 5684 (Lecture ... Computer Science and General Issues)

by


ISBN 13: 9783642034657

Format: Paperback (357 pages)
Publisher: Springer
Published: 29 Jul 2009

Save for later

 
New : $79.92  
New : $79.92
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering) Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering) by

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... / Programming and Software Engineering)

by


ISBN 13: 9783540709510

Format: Paperback (363 pages)
Publisher: Springer
Published: 20 Feb 2007

Save for later

 
New : $79.93  
New : $79.93
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering) Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering) by

Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

by


ISBN 13: 9783540892465

Format: Paperback (189 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

 
New : $74.06  
New : $74.06
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering) Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering) by

Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)

by


ISBN 13: 9783540262787

Format: Paperback (667 pages)
Publisher: Springer
Published: 27 Jun 2005

Save for later

 
New : $99.57  
New : $99.57
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings: 9399 (Lecture Notes in Computer Science) Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings: 9399 (Lecture Notes in Computer Science) by Martin Leucker,Camilo Rueda,Frank D. Valencia

Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings: 9399 (Lecture Notes in Computer Science)

by Martin Leucker,Camilo Rueda,Frank D. Valencia


ISBN 13: 9783319251493

Format: Paperback (644 pages)
Publisher: Springer
Published: 25 Dec 2015

Save for later

 
New : $76.85  
New : $76.85
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Lecture Notes in Computer Science) Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Lecture Notes in Computer Science) by Christian Colombo,Martin Leucker

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Lecture Notes in Computer Science)

by Christian Colombo,Martin Leucker


ISBN 13: 9783030037680

Format: Paperback (484 pages)
Publisher: Springer
Published: 03 Jan 2019

Save for later

 
New : $76.57  
New : $76.57
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065) Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065) by Ezio Bartocci,Yliès Falcone,Martin Leucker

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Lecture Notes in Computer Science, 13065)

by Ezio Bartocci,Yliès Falcone,Martin Leucker


ISBN 13: 9783030873479

Format: Paperback (205 pages)
Publisher: Springer
Published: 28 Sep 2021

Save for later

 
New : $59.21  
New : $59.21